Scala 3 (Dotty) 新特性

Scala 3（也称为 Dotty）是 Scala 语言的重大升级版本，引入了许多新特性和改进，旨在简化语言、提高性能和增强类型系统。本教程将详细介绍 Scala 3 的一些关键新特性，帮助你理解和应用这些新功能。

1. 概述

Scala 3 的目标是使 Scala 语言更加现代化、简洁和易于使用。它引入了许多新特性，包括：

• 上下文抽象：简化隐式参数和隐式转换的使用。
• 类型系统改进：增强类型推断和类型安全。
• 语法简化：减少冗余代码，提高代码可读性。
• 宏编程：提供更强大的元编程能力。

2. 上下文抽象

2.1 上下文参数

Scala 3 引入了 using 关键字来简化隐式参数的使用。using 关键字使得隐式参数的使用更加明确和简洁。

// Scala 2 中的隐式参数
def greet(name: String)(implicit prefix: String): String = s"$prefix $name"

implicit val prefix: String = "Hello"
println(greet("Scala")) // 输出: Hello Scala

// Scala 3 中的上下文参数
def greet(name: String)(using prefix: String): String = s"$prefix $name"

given prefix: String = "Hello"
println(greet("Scala")) // 输出: Hello Scala

2.2 上下文函数

Scala 3 还引入了 given 关键字来定义上下文函数，这些函数可以在不显式传递参数的情况下被调用。

given greet: String => String = name => s"Hello $name"

def greetUser(name: String)(using greet: String => String): String = greet(name)

println(greetUser("Scala")) // 输出: Hello Scala

3. 类型系统改进

3.1 类型推断

Scala 3 增强了类型推断能力，使得代码更加简洁。例如，在定义变量时，编译器可以自动推断类型。

val x = 42 // 编译器自动推断 x 的类型为 Int
val y = "Hello" // 编译器自动推断 y 的类型为 String

3.2 类型别名

Scala 3 引入了 type 关键字来定义类型别名，使得代码更具可读性。

type UserId = Int
type UserName = String

def getUser(id: UserId, name: UserName): String = s"User: $id, $name"

println(getUser(1, "Scala")) // 输出: User: 1, Scala

4. 语法简化

4.1 枚举

Scala 3 引入了 enum 关键字来定义枚举类型，使得枚举的定义更加简洁。

enum Color:
  case Red, Green, Blue

val color: Color = Color.Red
println(color) // 输出: Red

4.2 模式匹配

Scala 3 简化了模式匹配的语法，使得代码更加清晰。

enum Color:
  case Red, Green, Blue

def describe(color: Color): String = color match
  case Color.Red => "It's red"
  case Color.Green => "It's green"
  case Color.Blue => "It's blue"

println(describe(Color.Green)) // 输出: It's green

5. 宏编程

Scala 3 引入了新的宏系统，提供了更强大的元编程能力。宏可以在编译时生成代码，从而提高代码的灵活性和性能。

import scala.quoted.*

inline def assert(expr: Boolean): Unit = ${ assertImpl('expr) }

def assertImpl(expr: Expr[Boolean])(using Quotes): Expr[Unit] =
  '{ if (!($expr)) throw new AssertionError("Assertion failed") }

assert(2 + 2 == 4) // 编译时生成代码

6. 实践练习

6.1 练习：使用上下文参数

编写一个函数 formatName，它接受一个名字和一个格式化函数（上下文参数），并返回格式化后的名字。

def formatName(name: String)(using formatter: String => String): String = formatter(name)

given formatter: String => String = name => s"Mr. $name"

println(formatName("John")) // 输出: Mr. John

6.2 练习：使用枚举和模式匹配

定义一个枚举 DayOfWeek，并编写一个函数 isWeekend，判断给定的日期是否是周末。

enum DayOfWeek:
  case Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday

def isWeekend(day: DayOfWeek): Boolean = day match
  case DayOfWeek.Saturday | DayOfWeek.Sunday => true
  case _ => false

println(isWeekend(DayOfWeek.Saturday)) // 输出: true
println(isWeekend(DayOfWeek.Monday)) // 输出: false

7. 总结

Scala 3 引入了许多新特性和改进，使得 Scala 语言更加现代化、简洁和易于使用。通过学习这些新特性，你可以编写更简洁、更高效的 Scala 代码。希望本教程能帮助你更好地理解和应用 Scala 3 的新特性。

8. 进一步学习

• 阅读 Scala 3 官方文档：Scala 3 Documentation
• 参与 Scala 社区和开源项目，了解更多实际应用案例。
• 探索 Scala 3 的更多高级特性，如宏编程和元编程。

通过不断实践和学习，你将能够充分利用 Scala 3 的新特性，提升你的编程技能。